1. Computing in Horn Clause theories
پدیدآورنده : Padawitz, Peter, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P327
1988
2. Computing in Horn clause theories
پدیدآورنده : Padawitz, Peter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P32
1988
3. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده : \ Stan Raatz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming,Horn clauses,برنامه‌نویسی منطقی
رده :
E-Book
,
